An algorithm for ensuring fairness and liveness in non-deterministic systems based on multiparty interactionsRUIZ, David; CORCHUELO, Rafael; PEREZ, José A et al.Lecture notes in computer science. 2002, pp 563-572, issn 0302-9743, isbn 3-540-44049-6, 10 p.Conference Paper

On the structure of one-tape nondeterministic turing machine time hierarchyKOBAYASHI, K.Theoretical computer science. 1985, Vol 40, Num 2-3, pp 175-193, issn 0304-3975Article

Canonical prefixes of Petri net unfoldingsKHOMENKO, Victor; KOUTNY, Maciej; VOGLER, Walter et al.Lecture notes in computer science. 2002, pp 582-595, issn 0302-9743, isbn 3-540-43997-8, 14 p.Conference Paper

Choice construct and lindström logicsHOANG, H. K.Lecture notes in computer science. 1999, pp 105-125, issn 0302-9743, isbn 3-540-65922-6Conference Paper

On varieties of density and crossing properties for event structuresKOSTOV, V. E; STARKOVA, S. A; VIRBITSKAITE, I. B et al.Computers and artificial intelligence. 1995, Vol 14, Num 6, pp 611-622, issn 0232-0274Article

Some observations on the connection between counting and recursionWAGNER, K. W.Theoretical computer science. 1986, Vol 47, Num 2, pp 131-147, issn 0304-3975Article

Recursive Identification for Stochastic Hammerstein SystemsCHEN, Han-Fu.Block-oriented nonlinear system identification. Lecture notes in control and information sciences. 2010, Vol 404, pp 69-87, issn 0170-8643, isbn 978-1-84996-512-5, 1Vol, 19 p.Book Chapter

Non-deterministic halting times for hamkins-kidder turing machinesWELCH, P. D.Lecture notes in computer science. 2006, pp 571-574, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 4 p.Conference Paper

Kahn's fixed-point characterization for linear dynamic networksNIENHUYS-CHENG, S.-H; DE BRUIN, A.Lecture notes in computer science. 1997, pp 513-522, issn 0302-9743, isbn 3-540-63774-5Conference Paper

Reliability analysis of nondeterministic steel beams-columnsFRANGOPOL, D. M; IIZUKA, M; YOSHIDA, K et al.Computers & structures. 1991, Vol 41, Num 4, pp 745-756, issn 0045-7949Article

Nondepolarizing systems and degree of polarizationSIMON, R.Optics communications. 1990, Vol 77, Num 5-6, pp 349-354, issn 0030-4018Article

Analysis of structural response to large scale nondeterministic variationsPADOVAN, J; YUE HUA GUO.Journal of the Franklin Institute. 1990, Vol 327, Num 3, pp 403-417, issn 0016-0032Article

A decisive characterization of BPPZACHOS, S; HELLER, H.Information and control. 1986, Vol 69, Num 1-3, pp 125-135, issn 0019-9958Article

Hierarchy of reversal bounded one-way multicounter machinesHROMKOVIC, J.Kybernetika. 1986, Vol 22, Num 2, pp 200-206, issn 0023-5954Article

Implementations of the CSP notation for concurrent systemsHULL, M. E. C.Computer journal (Print). 1986, Vol 29, Num 6, pp 500-505, issn 0010-4620Article

Fault tolerance by transparent replication for Distributed Ada 95WOLF, T; STROHMEIER, A.Lecture notes in computer science. 1999, pp 412-424, issn 0302-9743, isbn 3-540-66093-3Conference Paper

OBDD-based universal planning : Specifying and solving planning problems for synchronized agents in non-deterministic domainsJENSEN, R. M; VELOSO, M. M.Artificial intelligence today (recent trends and developments). Lecture notes in computer science. 1999, pp 213-248, issn 0302-9743, isbn 3-540-66428-9Book Chapter

Sequencing for concrete placement using RAG-CAD data structureRAGHAVAN KUNIGAHALLI; RUSSELL, J. S.Journal of computing in civil engineering. 1995, Vol 9, Num 3, pp 216-225, issn 0887-3801Article

Some complexity results on transition systems and elementary net systemsHIRAISHI, K.Theoretical computer science. 1994, Vol 135, Num 2, pp 361-376, issn 0304-3975Article

A distributed synchronisation scheme for communicating processesNATARAJAN, N.Computer journal (Print). 1986, Vol 29, Num 2, pp 109-117, issn 0010-4620Article

Alternation and ω-type turing acceptorsLINDSAY, P. A.Theoretical computer science. 1986, Vol 43, Num 1, pp 107-115, issn 0304-3975Article

From Lifting to System TransformationOHTA, Yoshito.Perspectives in Mathematical System Theory, Control, and Signal Processing (A Festschrift in Honor of Yutaka Yamamoto on the Occasion of His 60th Birthday). Lecture notes in control and information sciences. 2010, Vol 398, pp 207-216, issn 0170-8643, isbn 978-3-540-93917-7 3-540-93917-2, 1Vol, 10 p.Book Chapter

Reuse of SMI 2.0 scripts in dividable dynamic timeline-based authoringYANG, Chun-Chuan; WANG, Yung-Chi; CHU, Chen-Kuei et al.IEEE International Conference on multimedia. 2004, isbn 0-7803-8603-5, 3Vol, vol2, 1235-1238Conference Paper

SLAP'02 : synchronous languages, applications, and programming (Grenoble, 13 April 2002)Maraninchi, Florence; Girault, Alain; Rutten, Eric et al.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 200 p.Conference Proceedings

Introduction to the theory of complexity and approximation algorithmsJANSEN, T.Lecture notes in computer science. 1998, pp 5-28, issn 0302-9743, isbn 3-540-64201-3Conference Paper